Petri Nets for the Speci cation and Prototyping of Complex Information Systems ?
نویسنده
چکیده
We present a Petri net based framework called G-Net for the modular design of complex information systems. The motivation of this framework is to integrate Petri net theory with a modular, objectoriented approach for the speci cation and prototyping of complex software systems. We use the client/server example to illustrate the G-Net speci cation of distributed systems, and how such a speci cation can be translated into a Predicate/Transition net for formal analysis. The di erences between G-Net and hierarchical Petri net, as well as some limitations of the transformation technique, are then discussed.
منابع مشابه
A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems
For complex software systems a centr al design con cern is system archite cture The systematic treatment of ar chite ctur al speci cation and re nement is a prop er basis for an engineering approach to system design However conventional Petri nets models do not pro vide ade quate abstr actions for archite ctural speci ca tion because their primary conc ern is b ehavior mo del ing and analysis A...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملPrototyping Object Specifications Using the CO-Nets Approach
The CO-Nets approach, that we are developing, is an object oriented Petri net-based framework for specifying as well as prototyping|through graphical animation accompanied by a concurrent computation based on its semantics expressed in rewriting logic|distributed information systems. Taking bene ts of these (validation) capabilities, we presents how prototyping and implementation of systems spe...
متن کاملIntegrating T race Logic and Petri Nets Speci cations
This paper presents an experience in formal meth ods integration for the speci cation and validation of distributed fault tolerant systems The speci cation formalisms we deal with are the trace logic based on the CSP theory and stochastic Petri nets Their inte gration allows to combine the power of event traces to specify the behaviour of a system in an intuitive and modular way and the power o...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993